Stichworte: disjoint subtypes